$\forall$$T$:Type, ${\it eq}$:EqDecider($T$), ${\it ll}$:($T$ List) List. l{-}union{-}list(${\it eq}$;${\it ll}$) $\in$ $T$ List